Extracting End-to-End Timing Models from Component-Based Distributed Embedded Systems
نویسندگان
چکیده
In order to facilitate the end-to-end timing analysis, we present a method to extract end-to-end timing models from component-based distributed embedded systems that are developed using the existing industrial component model, Rubus Component Model (RCM). RCM is used for the development of software for vehicular embedded systems by several international companies. We discuss and solve the issues involved during the model extraction such as extraction of timing information from all nodes and networks in the system and linking of trigger and data chains in distributed transactions. We also discuss the implementation of the method for the extraction of end-to-end timing models in the Rubus Analysis Framework.
منابع مشابه
Component-Based Vehicular Distributed Embedded Systems: End-to-end Timing Models Extraction at Various Abstraction Levels
In order to perform the end-to-end response-time and delay analyses of a system, its end-to-end timing model should be available. The majority of existing modeland component-based development approaches for vehicular distributed embedded systems extract the end-to-end timing model at an abstraction level and development phase that is close to the system implementation. We present a method to ex...
متن کاملCommunications-oriented development of component-based vehicular distributed real-time embedded systems
We propose a novel modeland component-based technique to support communications-oriented development of software for vehicular distributed real-time embedded systems. The proposed technique supports modeling of legacy nodes and communication protocols by encapsulating and abstracting the internal implementation details and protocols. It also allows modeling and performing timing analysis of the...
متن کاملSupporting Early Modeling and End-to-End Timing Analysis of Vehicular Distributed Real-Time Applications
The current modeland component-based development approaches for automotive distributed real-time systems have non-existing, or limited, support for modeling network traffic originating from outside the vehicle, i.e., vehicle-tovehicle, vehicle-to-infrastructure, and cloud-based applications. We present novel modeling and analysis techniques to allow early end-to-end timing analysis of distribut...
متن کاملTranslating Timing Constraints during Vehicular Distributed Embedded Systems Development
The end-to-end response-time and delay analysis can verify timing requirements specified on vehicular distributed embedded systems without performing exhaustive testing. For this purpose, the timing requirements and constraints should be unambiguously translated among several models, methodologies and tools that are used at various abstraction levels and phases during the industrial development...
متن کاملTiming Analysis of Real-Time Embedded Systems using Model Checking
Modern real-time embedded systems are highly complex and distributed. Timing analysis of these systems is a challenging task. Model checking is increasingly being used for analyzing such systems. In this paper, we use timed automata based model checking for the timing analysis of distributed embedded systems with fixed priority preemptive tasks which exchange messages via communication buses wi...
متن کامل